1. Advanced mathematical & computational tools in metrology VII /
Author: editors, P. Ciarlini [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Measurement, Congresses.,Physical measurements, Congresses.,MATHEMATICS-- Measurement.,Measurement.,Physical measurements.,TECHNOLOGY & ENGINEERING-- Measurement.
Classification :
QA465
.
A273
2006eb
2. Advances in Computing and Data Sciences :
Author: edited by Mayank Singh, P.K. Gupta, Vipin Tyagi, Jan Flusser, Tuncer Ören, Rekha Kashyap.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Computer science.
Classification :
QA75
.
5
3. Advances in GPU research and practice /
Author: edited by Hamid Sarbazi-Azad.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Graphics processing units-- Programming.,Image processing-- Digital techniques.,Imaging systems.,Computer graphics.,COMPUTERS-- General.,Image processing-- Digital techniques.,Imaging systems.
Classification :
T385
4. Advances in computer science and information technology :
Author: edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses.,Computer science.,Information technology -- Congresses.
5. Advances in computing and data sciences :
Author: Mayank Singh, P.K. Gupta, Vipin Tyagi, Jan Flusser, Tuncer Ören (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Artificial intelligence.,Computer science.,Internet of things.
Classification :
QA75
.
5
6. An Integrated Approach to Software Engineering
Author: by Pankaj Jalote.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
7. An introduction to agent-based modeling :
Author: Uri Wilensky and William Rand
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation,Multiagent systems,NetLogo (Computer program language),System analysis-- Data processing
Classification :
T57
.
62
.
W54
2015eb
8. Analytic methods in systems and software testing /
Author: edited by Ron S. Kenett, KPA, Israel and Neaman Institute, Technion, Israel, Fabrizio Ruggeri, CNR-IMATI, Italy, Frederick W. Faltin, the Faltin Group, and Virginia Tech, USA.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Testing.,Computer software-- Testing.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.
Classification :
QA76
.
76
.
T48
A52
2018eb
9. Architecting critical systems
Author: / Holger Giese (ed.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F38I83
2010
10. Blockchain for distributed systems security /
Author: edited by Sachin S. Shetty, Charles A. Kamhoua, Laurent L. Njilla.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Blockchains (Databases),Internet auctions-- Security measures.,Blockchains (Databases),COMPUTERS-- Security-- General.
Classification :
QA76
.
9
.
B56
B56
2019eb
11. Computational artifacts :
Author: Raymond Turner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
167
12. Computer Aided Systems Theory - EUROCAST '95 :
Author: edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers, Special purpose.,Microprocessors.
Classification :
TA345
.
E358
1996
13. Computer Aided Verification :
Author: edited by Rajeev Alur, Thomas A. Henzinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
14. Computer simulation validation :
Author: edited by Claus Beisbart, Nicole J. Saam.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation.,Science-- Philosophy.,Computer simulation.,Computer software-- Validation.
Classification :
QA76
.
9
.
C65
15. Dependable Computing for Critical Applications 2
Author: edited by John F. Meyer, Richard D. Schlichting.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
Classification :
QA76
.
9
.
F38
E358
1992
16. Dependable computing for critical applications 3
Author: C.E. Landwehr, B. Randell, L. Simoncini, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software.,Falhas computacionais.,Fault-tolerant computing.
Classification :
QA76
.
9
.
F38
C453
1993
17. Development of Triangular and Tetrahedral Finite Elements for Solutions to Thermoelastic Instabilities Using Hotspotter
Author: LeNeave, Cortney Samuel
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering,Computer science
18. Development of Triangular and Tetrahedral Finite Elements for Solutions to Thermoelastic Instabilities Using Hotspotter
Author: LeNeave, Cortney Samuel
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering,Computer science
19. Discrete element method in the design of transport systems :
Author: Daniel Gelnar, Jiri Zegzulka.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Bulk solids-- Transportation.,Discrete element method.,Bulk solids-- Transportation.,Discrete element method.,TRANSPORTATION-- Ships & Shipbuilding-- Pictorial.
Classification :
HE595
.
B84
